#ifndef __console_h__
#define __console_h__

void console_print_char(char c);

void console_print_string(const char *s)
{
	while (*s)
		console_print_char(*s++);
}

#endif


